Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Mon, 8 Jun 2026 00:05:35 +0000 (12:05 +1200)
committerVladimir Petko <vladimir.petko@canonical.com>
Mon, 8 Jun 2026 00:05:35 +0000 (12:05 +1200)
commit5cc868b3cf2e838f7c559c18c62b877b8907fd30
tree42cc268b89d90c1df6dc77dca12f054e8385e117
parent2398809359503824b7dcaf63a1def3a287757d18
Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOCH is specified

Forwarded: no

Gbp-Pq: Name reproducible-properties-timestamp.diff
src/java.base/share/classes/java/util/Properties.java